Formal methods

Results: 2204



#Item
911Institut fur Informatik und Praktische Mathematik der Christian-Albrechts-Universitat zu Kiel Olshausenstr. 40 DKiel  Contributions

Institut fur Informatik und Praktische Mathematik der Christian-Albrechts-Universitat zu Kiel Olshausenstr. 40 DKiel Contributions

Add to Reading List

Source URL: www.f4.fhtw-berlin.de

Language: English - Date: 2011-04-20 09:47:07
912Cooperation For Better Termination Proving Marc Brockschmidt1 , Byron Cook2 , and Carsten Fuhs3 1 2 3

Cooperation For Better Termination Proving Marc Brockschmidt1 , Byron Cook2 , and Carsten Fuhs3 1 2 3

Add to Reading List

Source URL: www.imn.htwk-leipzig.de

Language: English - Date: 2013-08-26 10:13:12
913Geosci. Model Dev., 3, 189–203, 2010 www.geosci-model-dev.net/ © Author(sThis work is distributed under the Creative Commons Attribution 3.0 License.  Geoscientific

Geosci. Model Dev., 3, 189–203, 2010 www.geosci-model-dev.net/ © Author(sThis work is distributed under the Creative Commons Attribution 3.0 License. Geoscientific

Add to Reading List

Source URL: www.geosci-model-dev.net

Language: English - Date: 2014-12-04 03:52:45
914It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1  Department of Computer and Information Science, University of Pennsylvania

It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1 Department of Computer and Information Science, University of Pennsylvania

Add to Reading List

Source URL: vstte.ethz.ch

Language: English - Date: 2005-10-11 03:37:08
915FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract

FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2005-02-28 05:08:39
916.  best practices steve mcconnell

. best practices steve mcconnell

Add to Reading List

Source URL: www.stevemcconnell.com

Language: English - Date: 2007-03-02 18:14:12
917.  best practices steve mcconnell

. best practices steve mcconnell

Add to Reading List

Source URL: www.stevemcconnell.com

Language: English - Date: 2007-03-02 18:14:22
918IT Architecture Assessment | Consulting | Team Enhancement | Training | Certification

IT Architecture Assessment | Consulting | Team Enhancement | Training | Certification

Add to Reading List

Source URL: icmgworld.com

Language: English - Date: 2009-02-23 05:03:28
919Directed Unfolding of Petri Nets Blai Bonet1 , Patrik Haslum2 , Sarah Hickmott3 , and Sylvie Thi´ebaux2 1 2  Universidad Sim´

Directed Unfolding of Petri Nets Blai Bonet1 , Patrik Haslum2 , Sarah Hickmott3 , and Sylvie Thi´ebaux2 1 2 Universidad Sim´

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2009-04-11 23:05:46
920INVARIANT RELATIONS: A CONCEPT FOR ANALYZING WHILE LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 20, 2011

INVARIANT RELATIONS: A CONCEPT FOR ANALYZING WHILE LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 20, 2011

Add to Reading List

Source URL: www.nii.ac.jp

Language: English - Date: 2012-02-02 20:36:57